منابع مشابه
Formal Language Constrained Path Problems
Given an alphabet , a (directed) graph G whose edges are weighted and -labeled, and a formal language L , we consider the problem of finding a shortest (simple) path p in G complying with the additional constraint that l(p) 2 L. Here l(p) denotes the unique word given by concatenating the -labels of the edges along the path p. The main contributions of this paper include the following: 1. We sh...
متن کاملLanguage Constrained Graph Problems
This paper starts by discussing an algorithmic view of labeled path problems. In particular, we apply Seidel’s all-pairs shortest-path algorithm for undirected and unweighted graphs to a basic problem in labeled paths. Seidel’s algorithm is applied to find unlabeled paths between any pairs of nodes in a labeled graph whose associated context-free grammar G can generate the empty string . Our re...
متن کاملCurve approximation and constrained shortest path problems
We study the following problem k-constrained shortest path problem: given an acyclic directed graph D = (V,E) with arc weights ci,j , (i, j) ∈ E, two nodes s and t and an integer k, nd a shortest st-path containing at most k arcs. An important application of the problem in linear curve approximation is discussed. Vertices and edges of associated polytopes are determined, and integrality of thes...
متن کاملUsing Dominators for Solving Constrained Path Problems
Constrained path problems have to do with finding paths in graphs subject to constraints. We present a constraint programming approach for solving the Ordered disjoint-paths problem (ODP), i.e., the Disjoint-paths problem where the pairs are associated with ordering constraints. In our approach, we reduce ODP to the Ordered simple path with mandatory nodes problem (OSPMN), i.e., the problem of ...
متن کاملFormal Language Constrained Reachability and Model Checking Propositional Dynamic Logics
We show interreducibility under (Turing) reductions of low polynomial degree between three families of problems parametrised by classes of formal languages: the problem of reachability in a directed graph constrained by a formal language, the problem of deciding whether or not the intersection of a language of some class with a regular language is empty, and the model checking problem for Propo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIAM Journal on Computing
سال: 2000
ISSN: 0097-5397,1095-7111
DOI: 10.1137/s0097539798337716